In this paper,the trend of urban spatial information sharing service from the electronic map to image is analyzed and it......

本文对所有正则蕴涵算子对应的逻辑系统类MTL进行语义研究,指出在MTL中可以建立连续赋值格时的公式积分真度理论,但却不能在这一类......

提出集合的上边界函数概念，并证明闭集上边界函数的可测性．...

对立体视觉视频孔探仪的检测原理、系统组成及典型产品进行了分析,同时介绍了立体视觉视频孔探仪在飞机发动机维修中的应用,最后对......

针对通过Ray-Knight紧化得到的强Markov过程,即正规链,说明了其停时性质....

讨论了一类带有不确定自由项的非凸积分包含问题x(t)=λ(t,u)+∫t0f(t,s,u(s))ds, u(t)∈F(t,V(x)(t))) a.e. T ∈[0,T], T>0解的......

给出了勒贝格积分中极限运算与积分运算交换次序的又一充分条件,并以维他利定理和收敛定理为例说明了这一充分条件的恰当性.......

对于（-∞，＋∞）上的Lebesguen可测函数f（t），利用广义实数集R上的运算法则，通过构造反例，指出由“任给t1，t2∈（-∞，＋∞），有f（t1＋t2）=f（t1）＋f（t2）”，并不能得出......

为国内系统基于很多条扇区缓解政策，这份报纸表明怎么可测量、可报告、可证实(MRV ) 机制在中国在扇区水平被使用。同时，这些缓解政......